2 O N the P Ower of I Mperfect I Nformation
نویسندگان
چکیده
We present a polynomial-time reduction from parity games with imperfect information to safety games with imperfect information. Similar reductions for games with perfect information typically increase the game size exponentially. Our construction avoids such a blow-up by using imperfect information to realise succinct counters which cover a range exponentially larger than their size. In particular, the reduction shows that the problem of solving imperfect-information games with safety conditions is EXPTIME-complete.
منابع مشابه
Amitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملGroup ${1, -1, i, -i}$ Cordial Labeling of sum of $C_n$ and $K_m$ for some $m$
Let G be a (p,q) graph and A be a group. We denote the order of an element $a in A $ by $o(a).$ Let $ f:V(G)rightarrow A$ be a function. For each edge $uv$ assign the label 1 if $(o(f(u)),o(f(v)))=1 $or $0$ otherwise. $f$ is called a group A Cordial labeling if $|v_f(a)-v_f(b)| leq 1$ and $|e_f(0)- e_f(1)|leq 1$, where $v_f(x)$ and $e_f(n)$ respectively denote the number of vertices labelled w...
متن کاملCorrosion Protection of Copper by TiO2 Nanoparticles and SN Schiff base Coating
The corrosion protection abilities of modified copper in 2-[((Z)-1-{6- [(2-sulfanylphenyl)ethanimidoyl]-2-pyridyl}ethylidene) amino]-1- benzenthiol solution containing TiO2 nanoparticles were evaluated by Tafel polarization and impedance spectroscopy in 3.5% sodium chloride solution. The samples were characterized by energy dispersive X-ray (EDX) and scanning electron mi...
متن کاملواکنش اکسید ازت با تک بلور مس (111)
The adsorption of nit ric oxide on a Cu(1l1) surface has been studi ed using X-ray photoelectron (XPS) and high resolution e lectron energy loss spectroscopies (HREEL) in the tcmpenllurc range 80-410 K. Nitricoxide had no interacation with surface at room tempe rature, while it was adsorbed molecularly on un an nealed Cu surface and then dissociated to ni trogen and oxygen atoms. Exposure...
متن کاملPSEUDOELASTIC BEHAVIOR OF COIL SPRING MADE OF A HIGH-DAMPING Cu-Zn-Al ALLOY
2. Experiment,aZs A c o i l s p r i n g w i t h a f r e e l e n g t h o f 100 mm a t 20°C and an average d i a m e t e r o f 16 mm w i t h e f f e c t i v e number o f t u r n o f 23 was s u p p l i e d by P r o t e u s (F4e ta l lu rg i e Hoboken-Overpel t , Hoboken and N . V . B e k a e r t S .A . , Zwevegem, i n c o o p e r a t i o n w i t h K a t h o l i e k e U n i v e r s i t e i t L e u ...
متن کامل